Techniques for automated testing of Lola industrial robot language Parser
نویسندگان
چکیده
منابع مشابه
Techniques for Automated Testing of Lola Industrial Robot Language Parser
The accuracy of parsing execution directly affects the accuracy of semantic analysis, optimization and object code generation. Therefore, parser testing represents the basis of compiler testing. It should include tests for correct and expected, but also for unexpected and invalid cases. Techniques for testing the parser, as well as algorithms and tools for test sentences generation, are discuss...
متن کاملAMOS: A Natural Language Parser Implemented as a Deductive Database in LOLA
In this paper we present the set-oriented bottom-up parsing system AMOS which is a major application of the deductive database system LOLA. AMOS supports the morpho-syntactical analysis of old Hebrew and has now been operationally used by linguists for a couple of years. The system allows the declarative specification of Definite Clause Grammar rules. Due to the set-oriented bottom-up evaluatio...
متن کاملLola, the Mobile Robot from NC State
Lola is a Nomad 200 with a standard l6-transducer sonar ring and tactile bumper sensors. We have taken advantage of the Nomad’s modularity and moved 3 of the rear sonars to the front just above the bumper. This provides Lola with the ability t,o sense chairs and other potential obstacles that might otherwise be unseen. Lola’s main processor is a 486DX2-66 running Linux (Unix). The combination o...
متن کاملPractical Techniques for Automated Specification-Based Testing
Formal methods hold the most potential to raise the level of rigor in the development of software. Unfortunately, they have had only limited penetration into software development practice, due in part to their cost. In this paper, we summarize prior work, performed in collaboration with other researchers, on a specification-based testing approach called bounded exhaustive testing (BET). We then...
متن کاملProgramming Language Support For Automated Testing
Testing is a useful and practical way to improve code quality. However, current testing strategies do not have a high degree of automation, and are not well integrated into the programming environment. We propose the design, construction, and evaluation of a new programming language called Sulu that supports fully automatic testing. In this paper, we give an outline of the testing strategy for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Telfor Journal
سال: 2014
ISSN: 1821-3251
DOI: 10.5937/telfor1401069l